#ifndef __HAL_TIMER_H__
#define	__HAL_TIMER_H__

#include "stm32f10x.h"

typedef void (*timer_cb)();

void atos_timer_init();
void set_timer_callback(uint32_t , timer_cb);
uint32_t get_systime();

#endif